(P xor Q) -> (R and T)